- 蘊(yùn)涵命題演算
下載手機(jī)詞典可隨時(shí)隨地查詞查翻譯
implicational propositional calculus中文什么意思
百科釋義
In mathematical logic, the implicational propositional calculus is a version of classical propositional calculus which uses only one connective, called implication or conditional. In formulas, this binary operation is indicated by "implies", "if ...
詳細(xì)百科解釋